Focalization refines this viewpoint, by distinguishing between positive propositions, whose meaning arises from their introduction rules, and negative propositions, whose meaning arises from their elimination rules.
2.
A universal affirmative proposition, such as,'Every man is white'and a universal negative proposition having the same subject and predicate, such as,'No man is white,'are called " contrary ".